#ifndef GICV3_H
#define GICV3_H

#include <stdint.h>
#include <gicv3_reg.h>
#include <gicv3_system.h>

#define GICV3_DIST_BASE_ADDR   0x08000000
#define GICV3_RDIST_BASE_ADDR  0x080A0000

uint32_t gicv3_dist_type(void);

#endif